nested quantifier questions